Robin Milner - PDFSEARCH.IO - Document Search Engine

Robin Milner
Results: 28

#	Item
11	Robin Milner 1934–2010 Verification, Languages, and Concurrency Andrew D. Gordon Robert Harper Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-10-18 12:43:43
12	Seminar notes on developments in bigraphs Robin Milner, October 2009 Universities of Cambridge and Edinburgh These notes support seminars on theoretical advances in the bigraph model. They are conjectural; they aim to st Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-11-28 08:02:10
13	What is a process? Robin Milner, September 2009 The concept of process has become increasingly important in computer science in the last three decades and more. Yet we still don’t agree on what a process is. We probabl Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-09-14 07:05:01
14	Lecture notes on Bigraphs: a Model for Mobile Agents Robin Milner, November 2008 These notes are designed to be read in conjunction with the slides for six Lectures on bigraphs, with the above title. They aim to be usefu Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-11-12 05:16:34
15	Un calcul pour la communication / A calculus for communication - 12 décembreDiscours de Robin Milner Add to Reading List Source URL: www.academie-sciences.fr Language: French - Date: 2011-02-10 08:49:54
16	What purpose is served by a concept of process? Robin Milner, November 2009 This note continues my first response “What is a process?” to the paper Branching and Linear Time: Semantical Perspective by Nain and Vardi. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2011-05-17 17:30:04
17	Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-10-18 12:40:33
18	The Space and Motion of Large Informatic Systems Visions of Computer Science, 2008 Robin Milner, University of Cambridge 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-05 12:33:18 Ethology Philosophy of mind Science Embedded system System Conceptual model
19	Commentary on Standard ML Commentary on Standard ML Robin Milner and Mads Tofte Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-07-23 09:44:07 Functional languages Procedural programming languages Robin Milner Mads Tofte ML Robert Harper Milner Unit of alcohol Software engineering Programming language theory Computing
20	The Definition of Standard ML The Definition of Standard ML Robin Milner, Mads Tofte, and Robert Harper Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-07-23 09:36:22 Functional languages Procedural programming languages Robin Milner Robert Harper ML Mads Tofte Milner Cataloging Unit of alcohol Software engineering Programming language theory Computing

UPDATE